g:GrpSig. |g|  Type 

latex

Up	groups 1
Definitions of Statement	|g|
Definitions	|g|, t  T, x:A. B(x),
Lemmas	grp sig wf, grp id wf, grp leq wf, grp car wf